/*
===========================================================================
This source file is part of DyLab (Dynamic Laboratory)
For the latest info, see http://code.google.com/p/dylab/

Copyright (c) 2006-2008 Lukas Krejci
(krejci.lukas@volny.cz)

This file is part of DyLab.

    DyLab is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    DyLab is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with DyLab.  If not, see <http://www.gnu.org/licenses/>.
===========================================================================
*/

#ifndef __dylab_EVerificationFailed_h__
#define __dylab_EVerificationFailed_h__

//===========================================================================================
#include <dylab/utils/exceptions/ExceptionBase.h>

//===========================================================================================
namespace dylab {

    /**
     *
     */
    class DYLAB_EXPORT EVerificationFailed
        : public ExceptionBase<EVerificationFailed>
    {
    public:

        EVerificationFailed()
                { }

        EVerificationFailed(const String & _message)
            : ExceptionBase<EVerificationFailed>(_message)
                { }
    };
}

//===========================================================================================
// verification macro
#define DYLAB_VERIFY(c) if (!(c)) throw dylab::EVerificationFailed(String::fmt("Verification failed: '%1%' (%2%, %3%) ", #c, __FILE__, __LINE__))

//===========================================================================================
#endif // __dylab_EVerificationFailed_h__
